location |
trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/math_gamma_scenario.utz (math_gamma_scenario.utt), line 2159 |
occurence |
scenario |
math_gamma_scenario |
specification function |
gamma_spec() |
parameter value |
CallContext context = [pid=4264,thr=b7532700] |
parameter value |
Unifloat * @x = (long double) -5.0000000000000000000000000000000000e-01 (-0x.8000000000000000P0L) |
parameter value |
Unifloat * x = (long double) -5.0000000000000000000000000000000000e-01 (-0x.8000000000000000P0L) |
parameter value |
IntT * @signgam = <0xbfb524f4>ptr to 1 |
parameter value |
IntT * signgam = <0xbfb524f4>ptr to -1 |
parameter value |
ErrorCode * @errno = EOK |
parameter value |
ErrorCode * errno = EOK |
return value |
(Unifloat *) (long double) 1.2655121234846453965715989964380128e+00 (0x.A1FC4D1F876EB106P1L) |
coverage & branch |
C X IS NORMAL NON POSITIVE |
properties |
REQ failed |
gammal.lgamma.11 |
expected value |
(long double) Infinity |
kind |
POSTCONDITION_FAILED |